Education Sharif University of Technology, Tehran, Iran BS in Computer Engineering - Software Engineering Grade Point Average: 18.29 out of 20 GPAKasra Edalat Nejad

Source URL: ce.sharif.edu

• Provinces of Iran
• Sharif University of Technology
• Tehran Province
• Nejad
• Mohammad Ghodsi
• Tehran
• SUT

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovi´c, Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract

Source URL: qav.comlab.ox.ac.uk

• Statistical models
• Probability and statistics
• Statistical theory
• Statistics
• Timed automaton
• Parametric model
• Parameter
• Markov decision process
• Markov chain

Luca Melis Curriculum Vitae Computer Science Dept, University College London Gower Street, London WC1E 6BT

Source URL: lucamelis.github.io

• Cryptography
• Computing
• Security engineering
• Crime prevention
• Information governance
• National security
• Secure communication
• Differential Privacy
• Post-quantum cryptography
• Privacy
• Information security
• Internet privacy

Matjaz B. Juric Matjaz B. Juric holds a Ph.D. in computer and information science. He is Full Professor at the University of Ljubljana, Faculty of Computer and Information Science. He is the head of Laboratory for Integr

Source URL: suncontract.org

• Enterprise application integration
• Computing
• Oracle SOA Suite
• Matja
• Business Process Execution Language
• Oracle Fusion Middleware
• Rozman
• Economy
• Software architecture

Automatic Generation of Local Repairs for Boolean Programs Roopsha Samanta, Jyotirmoy V. Deshmukh and E. Allen Emerson Department of Electrical and Computer Engineering and Department of Computer Sciences, The University

Source URL: www.cs.purdue.edu

• Mathematical logic
• Theoretical computer science
• Mathematics
• Formal methods
• Boolean algebra
• Temporal logic
• Edsger W. Dijkstra
• Predicate transformer semantics
• Model theory
• Hoare logic
• True quantified Boolean formula
• Linear temporal logic

Causal Commutative Arrows Hai (Paul) Liu, Eric Cheng, and Paul Hudak Computer Science Department Yale University The 14th ACM SIGPLAN ICFP 2009

Source URL: thev.net

ECM on Graphics Cards Daniel J. Bernstein1 , Tien-Ren Chen2 , Chen-Mou Cheng3 , Tanja Lange4 , and Bo-Yin Yang2 1 Department of Computer Science University of Illinois at Chicago, Chicago, IL 60607–7045, USA

Source URL: precision.moscito.org

• Video cards
• Computer architecture
• Computing
• Graphics hardware
• CUDA
• GeForce
• Graphics processing unit
• Nvidia
• GeForce 500 series
• GeForce 400 series

Bounded Verification with On-the-Fly Discrepancy Computation ? Chuchu Fan and Sayan Mitra {cfan10,mitras}@illinois.edu Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign.

Source URL: publish.illinois.edu

• Circuit complexity
• NC
• Mathematics
• Theoretical computer science
• Numerical software
• Lemmas
• Numerical linear algebra

Stochastic Analysis of Chemical Reaction Networks Using Linear Noise ApproximationI Luca Cardellia,b,∗, Marta Kwiatkowskaa,∗, Luca Laurentia,∗ a Department of Computer Science, University of Oxford

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Statistical randomness
• Metaphysics
• Stochastic processes
• Generalized functions
• Stochastic simulation
• Distribution
• Dynamical system
• Markov chain

Poster: Design of Backdoor on Android Devices Junsung Cho, Geumhwan Cho, Sangwon Hyun and Hyoungshick Kim Department of Computer Science and Engineering, Sungkyunkwan University, Republic of Korea Email: {js.cho, geumhwa

Source URL: www.ieee-security.org

• Computing
• Cyberwarfare
• Computer security
• Cryptography
• Cybercrime
• Computer network security
• Backdoor
• Rootkits
• Google Play
• Android
• Firebase
• Password